#include "libc/sysv/macros.internal.h"
.scall sys_timerfd_gettime,0xfffffffffffff11f,87,4095,4095,globl
